Bibliographical notice

Bibliographical Details

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

Bibliographical details

Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...

Mesotherapy: a bibliographical review.

Intradermotherapy is a medical procedure introduced by Pistor in 1958 that consists in the application of intradermal injections of diluted pharmacological substances that are given directly into the region to be treated. There are reports of the use of intradermotherapy to treat painful diseases, skin diseases and unaesthetic conditions. Medical clinics have been recently offering the treatmen...

Obituary Notice

Correction Notice